extension | φ:Q→Out N | d | ρ | Label | ID |
C23.81C23:1C2 = C4:C4.12D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 32 | | C2^3.81C2^3:1C2 | 128,341 |
C23.81C23:2C2 = (C2xC4).5D8 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 32 | | C2^3.81C2^3:2C2 | 128,342 |
C23.81C23:3C2 = C23.313C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:3C2 | 128,1145 |
C23.81C23:4C2 = C24.252C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:4C2 | 128,1149 |
C23.81C23:5C2 = C24.563C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:5C2 | 128,1151 |
C23.81C23:6C2 = C23.323C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:6C2 | 128,1155 |
C23.81C23:7C2 = C24.258C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:7C2 | 128,1157 |
C23.81C23:8C2 = C23.329C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:8C2 | 128,1161 |
C23.81C23:9C2 = C24.567C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:9C2 | 128,1170 |
C23.81C23:10C2 = C24.568C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:10C2 | 128,1172 |
C23.81C23:11C2 = C24.569C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:11C2 | 128,1174 |
C23.81C23:12C2 = C24.269C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:12C2 | 128,1175 |
C23.81C23:13C2 = C23.349C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:13C2 | 128,1181 |
C23.81C23:14C2 = C23.350C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:14C2 | 128,1182 |
C23.81C23:15C2 = C24.279C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:15C2 | 128,1190 |
C23.81C23:16C2 = C23.364C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:16C2 | 128,1196 |
C23.81C23:17C2 = C23.368C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:17C2 | 128,1200 |
C23.81C23:18C2 = C24.572C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:18C2 | 128,1205 |
C23.81C23:19C2 = C23.375C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:19C2 | 128,1207 |
C23.81C23:20C2 = C24.293C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:20C2 | 128,1208 |
C23.81C23:21C2 = C24.295C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:21C2 | 128,1210 |
C23.81C23:22C2 = C23.379C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:22C2 | 128,1211 |
C23.81C23:23C2 = C24.576C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:23C2 | 128,1216 |
C23.81C23:24C2 = C24.299C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:24C2 | 128,1218 |
C23.81C23:25C2 = C23.398C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:25C2 | 128,1230 |
C23.81C23:26C2 = C23.402C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:26C2 | 128,1234 |
C23.81C23:27C2 = C23.405C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:27C2 | 128,1237 |
C23.81C23:28C2 = C24.309C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:28C2 | 128,1247 |
C23.81C23:29C2 = C23.419C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:29C2 | 128,1251 |
C23.81C23:30C2 = C23.422C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:30C2 | 128,1254 |
C23.81C23:31C2 = C23.425C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:31C2 | 128,1257 |
C23.81C23:32C2 = C23.429C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:32C2 | 128,1261 |
C23.81C23:33C2 = C23.431C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:33C2 | 128,1263 |
C23.81C23:34C2 = C23.432C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:34C2 | 128,1264 |
C23.81C23:35C2 = C42.165D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:35C2 | 128,1268 |
C23.81C23:36C2 = C23.443C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:36C2 | 128,1275 |
C23.81C23:37C2 = C23.449C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:37C2 | 128,1281 |
C23.81C23:38C2 = C24.326C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:38C2 | 128,1285 |
C23.81C23:39C2 = C24.327C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:39C2 | 128,1286 |
C23.81C23:40C2 = C23.456C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:40C2 | 128,1288 |
C23.81C23:41C2 = C24.332C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:41C2 | 128,1292 |
C23.81C23:42C2 = C24.584C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:42C2 | 128,1301 |
C23.81C23:43C2 = C24.338C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:43C2 | 128,1306 |
C23.81C23:44C2 = C24.341C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:44C2 | 128,1309 |
C23.81C23:45C2 = C23.479C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:45C2 | 128,1311 |
C23.81C23:46C2 = C23.483C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:46C2 | 128,1315 |
C23.81C23:47C2 = C24.345C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:47C2 | 128,1319 |
C23.81C23:48C2 = C24.346C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:48C2 | 128,1321 |
C23.81C23:49C2 = C23.493C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:49C2 | 128,1325 |
C23.81C23:50C2 = C23.494C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:50C2 | 128,1326 |
C23.81C23:51C2 = C42.183D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:51C2 | 128,1331 |
C23.81C23:52C2 = C42:23D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:52C2 | 128,1333 |
C23.81C23:53C2 = C42:24D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:53C2 | 128,1335 |
C23.81C23:54C2 = C42:25D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:54C2 | 128,1341 |
C23.81C23:55C2 = C42.185D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:55C2 | 128,1343 |
C23.81C23:56C2 = C24.587C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:56C2 | 128,1350 |
C23.81C23:57C2 = C42.186D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:57C2 | 128,1353 |
C23.81C23:58C2 = C24.589C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:58C2 | 128,1355 |
C23.81C23:59C2 = C23.525C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:59C2 | 128,1357 |
C23.81C23:60C2 = C23.527C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:60C2 | 128,1359 |
C23.81C23:61C2 = C42.188D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:61C2 | 128,1361 |
C23.81C23:62C2 = C23.530C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:62C2 | 128,1362 |
C23.81C23:63C2 = C42.190D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:63C2 | 128,1365 |
C23.81C23:64C2 = C42.192D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:64C2 | 128,1369 |
C23.81C23:65C2 = C24.374C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:65C2 | 128,1370 |
C23.81C23:66C2 = C23.546C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:66C2 | 128,1378 |
C23.81C23:67C2 = C23.551C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:67C2 | 128,1383 |
C23.81C23:68C2 = C24.376C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:68C2 | 128,1384 |
C23.81C23:69C2 = C23.553C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:69C2 | 128,1385 |
C23.81C23:70C2 = C23.554C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:70C2 | 128,1386 |
C23.81C23:71C2 = C23.559C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:71C2 | 128,1391 |
C23.81C23:72C2 = C24.377C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:72C2 | 128,1393 |
C23.81C23:73C2 = C42.198D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:73C2 | 128,1396 |
C23.81C23:74C2 = C23.567C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:74C2 | 128,1399 |
C23.81C23:75C2 = C23.571C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:75C2 | 128,1403 |
C23.81C23:76C2 = C24.385C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:76C2 | 128,1409 |
C23.81C23:77C2 = C23.580C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:77C2 | 128,1412 |
C23.81C23:78C2 = C23.581C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:78C2 | 128,1413 |
C23.81C23:79C2 = C24.394C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:79C2 | 128,1419 |
C23.81C23:80C2 = C23.589C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:80C2 | 128,1421 |
C23.81C23:81C2 = C23.590C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:81C2 | 128,1422 |
C23.81C23:82C2 = C23.591C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:82C2 | 128,1423 |
C23.81C23:83C2 = C23.592C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:83C2 | 128,1424 |
C23.81C23:84C2 = C24.401C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:84C2 | 128,1426 |
C23.81C23:85C2 = C23.595C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:85C2 | 128,1427 |
C23.81C23:86C2 = C24.405C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:86C2 | 128,1430 |
C23.81C23:87C2 = C24.406C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:87C2 | 128,1431 |
C23.81C23:88C2 = C24.407C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:88C2 | 128,1433 |
C23.81C23:89C2 = C23.602C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:89C2 | 128,1434 |
C23.81C23:90C2 = C24.408C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:90C2 | 128,1436 |
C23.81C23:91C2 = C23.606C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:91C2 | 128,1438 |
C23.81C23:92C2 = C23.607C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:92C2 | 128,1439 |
C23.81C23:93C2 = C23.608C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:93C2 | 128,1440 |
C23.81C23:94C2 = C23.616C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:94C2 | 128,1448 |
C23.81C23:95C2 = C23.618C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:95C2 | 128,1450 |
C23.81C23:96C2 = C23.620C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:96C2 | 128,1452 |
C23.81C23:97C2 = C23.621C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:97C2 | 128,1453 |
C23.81C23:98C2 = C23.622C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:98C2 | 128,1454 |
C23.81C23:99C2 = C23.624C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:99C2 | 128,1456 |
C23.81C23:100C2 = C23.625C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:100C2 | 128,1457 |
C23.81C23:101C2 = C24.420C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:101C2 | 128,1460 |
C23.81C23:102C2 = C24.421C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:102C2 | 128,1461 |
C23.81C23:103C2 = C23.632C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:103C2 | 128,1464 |
C23.81C23:104C2 = C24.426C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:104C2 | 128,1470 |
C23.81C23:105C2 = C24.427C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:105C2 | 128,1471 |
C23.81C23:106C2 = C23.640C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:106C2 | 128,1472 |
C23.81C23:107C2 = C23.641C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:107C2 | 128,1473 |
C23.81C23:108C2 = C24.430C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:108C2 | 128,1476 |
C23.81C23:109C2 = C24.432C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:109C2 | 128,1478 |
C23.81C23:110C2 = C23.647C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:110C2 | 128,1479 |
C23.81C23:111C2 = C24.434C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:111C2 | 128,1480 |
C23.81C23:112C2 = C23.654C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:112C2 | 128,1486 |
C23.81C23:113C2 = C23.656C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:113C2 | 128,1488 |
C23.81C23:114C2 = C24.438C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:114C2 | 128,1489 |
C23.81C23:115C2 = C24.440C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:115C2 | 128,1493 |
C23.81C23:116C2 = C23.664C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:116C2 | 128,1496 |
C23.81C23:117C2 = C24.443C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:117C2 | 128,1497 |
C23.81C23:118C2 = C23.668C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:118C2 | 128,1500 |
C23.81C23:119C2 = C24.445C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:119C2 | 128,1502 |
C23.81C23:120C2 = C23.672C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:120C2 | 128,1504 |
C23.81C23:121C2 = C23.673C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:121C2 | 128,1505 |
C23.81C23:122C2 = C23.677C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:122C2 | 128,1509 |
C23.81C23:123C2 = C24.448C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:123C2 | 128,1512 |
C23.81C23:124C2 = C23.681C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:124C2 | 128,1513 |
C23.81C23:125C2 = C23.683C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:125C2 | 128,1515 |
C23.81C23:126C2 = C23.686C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:126C2 | 128,1518 |
C23.81C23:127C2 = C23.687C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:127C2 | 128,1519 |
C23.81C23:128C2 = C23.688C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:128C2 | 128,1520 |
C23.81C23:129C2 = C24.454C23 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:129C2 | 128,1522 |
C23.81C23:130C2 = C23.693C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:130C2 | 128,1525 |
C23.81C23:131C2 = C23.707C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:131C2 | 128,1539 |
C23.81C23:132C2 = C23.714C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:132C2 | 128,1546 |
C23.81C23:133C2 = C23.716C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:133C2 | 128,1548 |
C23.81C23:134C2 = C42.200D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:134C2 | 128,1553 |
C23.81C23:135C2 = C42:35D4 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:135C2 | 128,1555 |
C23.81C23:136C2 = C23.727C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:136C2 | 128,1559 |
C23.81C23:137C2 = C23.729C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:137C2 | 128,1561 |
C23.81C23:138C2 = C23.730C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:138C2 | 128,1562 |
C23.81C23:139C2 = C23.731C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:139C2 | 128,1563 |
C23.81C23:140C2 = C23.734C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:140C2 | 128,1566 |
C23.81C23:141C2 = C23.736C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:141C2 | 128,1568 |
C23.81C23:142C2 = C23.737C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:142C2 | 128,1569 |
C23.81C23:143C2 = C23.738C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:143C2 | 128,1570 |
C23.81C23:144C2 = C23.741C24 | φ: C2/C1 → C2 ⊆ Out C23.81C23 | 64 | | C2^3.81C2^3:144C2 | 128,1573 |
C23.81C23:145C2 = C42:15D4 | φ: trivial image | 64 | | C2^3.81C2^3:145C2 | 128,1124 |
C23.81C23:146C2 = C23.295C24 | φ: trivial image | 64 | | C2^3.81C2^3:146C2 | 128,1127 |
C23.81C23:147C2 = C42.162D4 | φ: trivial image | 64 | | C2^3.81C2^3:147C2 | 128,1128 |